(extraclean): Use ${top_distclean} to ensure

we delete everything distclean deletes.

diff --git a/Makefile.in b/Makefile.in
index d115b927f2fdfb7545a355368f04e832cfa086e6..75d6546949f290e7f5c21e6124a42191eec5f29b 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -492,8 +492,8 @@ maintainer-clean: FRC
 ### it deletes backup and autosave files too.
 extraclean:
        for i in ${SUBDIR}; do (cd $$i; $(MAKE) $(MFLAGS) extraclean); done
-       -(cd lock && rm *)
-       -rm config.status config-tmp-*
+       ${top_distclean}
+       -rm config-tmp-*
        -rm -f *~ \#*
 
 ### Unlocking and relocking.  The idea of these productions is to reduce